41. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: (طهران)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
42. Displaced Sovereignty:
پدیدآورنده : Potts, Shaina
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
43. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Modality (Logic)
44. Entities and Indices
پدیدآورنده : by M.J. Cresswell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Linguistics.,Logic.
رده :
B840
.
B965
1990
45. Epistemic modality /
پدیدآورنده : edited by Andy Egan and Brian Weatherson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Knowledge, Theory of,Modality (Logic)
رده :
BD161
.
E65
2011
46. Essays in the metaphysics of modality
پدیدآورنده : Plantinga, Alvin.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
47. First steps in modal logic /
پدیدآورنده : Sally Popkorn
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
P67
1994
48. First steps in modal logic
پدیدآورنده : Popkorn, Sally
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
46
.
P67
1994
49. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
50. Forms of thought :
پدیدآورنده : E.J. Lowe
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic
رده :
BC71
.
L69
2013
51. Foundations of mathematical logic /
پدیدآورنده : Haskell B. Curry.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
52. Gentzen calculi for modal propositional logi
پدیدآورنده : / Francesca Poggiolesi
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Modality (Logic),Electronic books., local
53. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
54. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
55. Hegel, logic and speculation /
پدیدآورنده : edited by Paolo Diego Bubbio, Alessandro De Cesaris, Maurizio Pagano, Hager Weslati.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hegel, Georg Ludwig Friedrich,1807-1831.,Hegel, Georg Ludwig Friedrich,1807-1831.,Logic.,Speculation.,Logic.,Speculation.
رده :
B2949
.
L8
H44
2019
56. Hegel's actuality chapter of the science of logic :
پدیدآورنده : Nahum Brown.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Wissenschaft der Logik (Hegel, Georg Wilhelm Friedrich),Modality (Logic),Modality (Logic)
رده :
B2948
.
B765
2019
57. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
58. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده : Gallin, Daniel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
59. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
60. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
